coquille LaTeX dans .dtx