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

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

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

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