JUSTIFYING INDUCTION MATHEMATICALLY: STRATEGIES AND FUNCTIONS - Paseau, A (LOGIQUE ET ANALYSE, 2008)