Ecrire le programme avec logicator