implémentation de la règle lambda++++ x . F x ( G x ) = S F G. Le crible passe toujours