Archives des contenus 2020 : notes, marques-pages, réponses, textes Publications antérieures à novembre 2020 Notes de 2020, 2019, 2018, 2017, 2016. Textes de 2020, 2018, 2014; bash, emacs, openbsd.