Lanzamientos por Kern, Michel (Inria Research Center, Paris, Franc)