résolution include heuristique.c