Sébastien Loriot 733c8de28b do not try to read after the 80 char for the header ...

Since the next "word" to be read is a INT32 in binary mode, the char read
from it does not mean anything

2022-03-03 11:14:50 +01:00

..

CGAL

do not try to read after the 80 char for the header

2022-03-03 11:14:50 +01:00