Modification des types des variables de tailles de fichiers. Changement de float vers double