Prade, Henri, UMR IRIT, CNRS / University of Toulouse Paul Sabatier, France, France