MediaWiki:Fix-double-redirects

Mettre à jour les redirections pointant vers le titre original