Un séisme de magnitude 3,7 sur l'échelle de Richter au large de Toulon