Translations:Manual:GetLagTimes.php/9/fr

Obligatoire ?