Mise à jour du 19 novembre 2019: Après avoir retesté avec une toute nouvelle machine virtuelle, il apparaît que la mise à jour n’est à ce jour plus proposée ni dans la liste des paquets de backports d’Ubuntu 18.04 (Bionic) ni sur le site web des paquets Ubuntu. Ce billet