https://github.com/ljug/ed.synthese https://github.com/opentrainingcamp/TP-GLG-Cnam-Liban/tree/master/PremierTP