Implémentation de la définition de nouveaux combinateurs