Le Barrage du Ghrib — Congrès géologique international (19 ; 1952 ; Alger), Gilbert Cheylan