Collaborations between Gordon Hales and Gérard Oury