Favori de Juergen Jost : Fonctions de bibliothèque