diff --git a/ecrire/urls/page.php b/ecrire/urls/page.php
index f939f807e72980efa01b20013e540e50f71bffa2..5e9ef59e694462c077a1d88c69c96a1c5143128c 100644
--- a/ecrire/urls/page.php
+++ b/ecrire/urls/page.php
@@ -82,14 +82,8 @@ function urls_page_dist($i, &$entite, $args = '', $ancre = '') {
 	// Si on est revenu en mode html, mais c'est une ancienne url_propre
 	// on ne redirige pas, on assume le nouveau contexte (si possible)
 	$url = $i;
-	$url_propre = isset($url)
-		? $url
-		: (isset($_SERVER['REDIRECT_url_propre'])
-			? $_SERVER['REDIRECT_url_propre']
-			: (isset($_ENV['url_propre'])
-				? $_ENV['url_propre']
-				: ''
-			));
+	$url_propre = $url ?? $_SERVER['REDIRECT_url_propre'] ?? $_ENV['url_propre'] ?? '';
+
 	if ($url_propre) {
 		if ($GLOBALS['profondeur_url'] <= 0) {
 			$urls_anciennes = charger_fonction('propres', 'urls', true);