Gerard Huet

1. REDIRECT Gérard Huet

{{R from title without diacritics}}