Tu l'as faite à 7200km donc pas besoin d'en refaire une à 10000km. Fais la prochaine vers 13/14000km (ça fera 7000km) et après 20000 pour reprendre un cycle normal.
Perso c'est tous les 5000km si j'ai pas eu d'intervention nécessitant une vidange (comme j'ai actuellement avec le carter d'huile déformé).
