Info dimensions piscine pour changement liner

Bonjour à tous,
Je dois changer le liner de ma petite Olivia qui est complètement fichu.
J'ai tous les documents de la piscine concernant les dimensions et les options que j'ai pu fournir a un fabricant de liner. Hier j'ai constaté une différence de 13cm sur la longueur ! En effet elle devrait faire 823cm sur papier et j'arrive à 810cm. Comment expliquer cela? Une erreur dans le montage ? Je dois donc visiblement modifier les mesures de bases avant de valider le projet.
Merci d'avance