Le nombre de zéros des polynômes dans les anneaux de valuation des corps complets valués discrètement Andrej Schinzel (1981/1982) Groupe de travail d'analyse ultramétrique
Le théorème de MacIntyre sur les ensembles définissables dans les corps p -adiques Luc Bélair (1985/1986) Groupe de travail d'analyse ultramétrique