Le nombre d'opérations de sauvetage en mer en forte hausse pendant l'été 2020