Mauritius deu 4 Okt.