implémentation de la règle lambda++++ x . F ( G x ) = B F G. Elle passe le test du crible d'eratosthène. Activez les combinateurs basiques pour l'utiliser