Opération Lamantin was a December 1977 – July 1978 military intervention by France on the behalf of the Mauritanian government, in its war against Sahrawi guerrilla fighters of the Polisario Front, seeking independence for Western Sahara. Wikipedia