Lanzamientos por Lenat, Jean-Francois (University of Clermont-Ferrand, France)