"removeDoubleSlash: $url=/mpro/cours/ORDO"
 "removeDoubleSlash: $pathInfo=//mpro/cours/ORDO"
 "removeDoubleSlash: $requestUri=//mpro/cours/ORDO"
 "removeDoubleSlash: $newUrl=/mpro/cours/ORDO"
Redirecting to /mpro/cours/ORDO Redirecting to /mpro/cours/ORDO.