Vernes, Henri (b. 1918)