Fonction décroissante et ordre

Fonction décroissante et ordre