MP/MP*: TP (calculs dans l'algèbre des parties finies ou cofinies de Z)