arrondissement of Mantes-la-Jolie — arrondissement of France