Probleme dimention de liner

bonjour
j'ai besoin d'un avis , car suite a un fort vent survenue en octobre , le liner de notre piscine a était sectionné par une taule métallique tombé d'un toit en travaux donc l'entreprise responsable nous a acheté un nouveau liner .
notre piscine et semi enterrée et fait 4.60 de diamétre pour 1.20 de profondeur , l'entrepreneur ( qui avait pris les mesure 2 fois !!)nous a fait livré un liner 75/100 de diam 4.47 .
il nous a dit de le laisser au soleil pour qu'il ce détende , mais rien a faire je lui ai dit qu'il était trop petit et qu'il ne ce dilaterez jamais de 13cm. je voulais avoir votre avis. la piscine commence a s'abimer , je ne sais pas quoi faire

je vous remercie de votre aide