Le 04/01/16 à 16h33, Zdenek Wagner <zdenek.wagner at gmail.com> a écrit : >> But, strange nevertheless: on my Linux box (Mageia 5): > > TeX Live does not include software which is available in Linux. OK, thanks. -- Denis