GEOMUS Un système informatique de résolution de problèmes qui s'inspire du comportement humain Jean-Michel Bazin Publications mathématiques et informatique de Rennes