J'ai qd même un doute sur la démonstration.
Je pense que le calcul de l'autonomie est faite en fonction de : la quantité d'essence dans le réservoir et la consommation enregistrée par l'oridnateur sur les derniers kms.
je me suis rendu compte que si je fais un trajet en ville ou montagne avant de faire un plein, l'annonce de mon autonomie sera différente de la même opération après un parcours tranquille sur une départementale.
D'ailleurs l'autonomie varie en fonction de la conduite, celle-ci pouvant même variée en sens contraire des kms parcourus... , je sais si je suis très clair là