Corrections des heuristiques et ménage

Les heuristiques sont fonctionnelles, un prédicat d'état initial a été
créé, les états finaux sont plus concis et certains prédicats inutiles
ont été retirés.