checksum + diverses coquilles dtx
placer un intertitre au bon endroit