Mauritius såldes till ej bekantgjordt pris för Frankrike.