trace + coordonée d'un sac pour le resolveur
trace + début débug autoresolution