[fr] ajustements: typographie des tirets