Utilisation d'une fonction à la place d'un foncteur; main