Bernard Dousset Institut de Recherche en Informatique de Toulouse, IRIT UMR 5505 Université de Toulouse III, 118, Route de Narbonne, F-31062 Toulouse cedex.