Une vaste opération interarmées où Mayotte a servi de point d’appui