Démonstration intervalle long en ajout - ANIE