Roger Lescot (1917-1975) — Roman Ghirshman