Marine royale. Réparation du 4e patrouilleur marocain "Rais Charkaoui" au Portugal