introduire une fonction public_produire_page_dist chargee de la production de $page et de la mise en cache si necessaire
Cette fonction peut etre surchargee pour personaliser la strategie de gestion du cache, et en particulier renvoyer le contenu du cache et lancer un calcul differe si possible