Ecole de printemps d'informatique théorique (13th 1985 Le Val d'Ajol, France)