coquille LaTeX dans le .dtx + checksum