coquille LaTeX .dtx