Elaguage manuel et automatique de la table historique.