Pour déterminer si un fichier PVS a été enregistré ou non en double précision, ouvrez-le dans un éditeur de texte et vérifiez la version PV-PVS dans la première ligne.