Les olympiades internationales de mathématique — Georges Girard, Denis Gerll