Étude géophysique du lac Pavin et de ses environs (Puy de Dôme) — Jean-François Lenat, Maurice Aubert