1) Optimiser les fontions auxiliaires par eviter d'utiliser List.mem