New release 1.3 - Amélioration de la documentation / correction de typo diverses - Change la mention de copyright et les liens vers la forge de travail - Retire les « guard lines » de docstrip de la documentation - Assure que \codedest est bien optionnel - Utilisation du paquet libertinus plutôt qu’une police locale - Remplace le paquet bidi par metalogo