minimisation

(Nom) infériorisation

< minime | minimiser >