maximalisation

(Nom) optimisation

< maximal | maximaliser >