pour voir
suppression de savephistar dans l'option posterior de bias.cpp