La logique comme outil d’analyse pour la résolution de problèmes