ajout définition fonction ExtMin