3° Régiment Etranger d'Infanterie / Compagnie d'Instruction de Débarquement Madagascar , retirage