Passer d'une formule explicite d'une suite arithmétique à sa formule de récurrence, et inversement