Notice sur la vie et les travaux de Raymond Polin (1910-2001) — Bertrand Saint-Sernin