Code serveur fonctionnel, bug coté crafty