Translations:Manual:$wgRequestTime/1/fr

minuteur, initialisé avec $webstart et $maint-scripts