Vacances en France : où sont partis les Français cet été 2020 ?