Gervais, Osias (1912-2002)