J’ai utilisé apt pour installer la nouvelle extension et j’ai réussi. Mince alors. Maintenant, je vais faire des sauvegardes correctes et passer à Postgres 15. Mais pas ce soir. 
Mon historique semble avoir été effacé, je ne peux donc pas vous dire exactement comment j’ai procédé, mais méfiez-vous. Il nécessite postgres 13 et tentera de le réinstaller.
PS : Il s’avère que j’avais activé les sauvegardes automatiques mais que j’avais oublié leur existence. Pas que je savais où elles se trouvaient. Je vais mettre en place un processus rsync pour les placer dans le répertoire où je fais également mes autres sauvegardes de serveur.