National Day du Royaume de l’Arabie saoudite : une première pour Maurice