Les diables des mers font le bonheur des plaisanciers dans la rade de Toulon