Author: Ecole De Printemps D'Informatique Theorique 1987 Saint-Pierre D'olero