"removeDoubleSlash: $url=/mpro/cours/PPC"

 "removeDoubleSlash: $pathInfo=//mpro/cours/PPC"

 "removeDoubleSlash: $requestUri=//mpro/cours/PPC"

 "removeDoubleSlash: $newUrl=/mpro/cours/PPC"
Redirecting to /mpro/cours/PPC Redirecting to /mpro/cours/PPC.