Suite numérique définie par une formule explicite