Author: Ecole de printemps dʼinformatique théorique (1990 La Roche-Posay, France)