Analyse inductive

Song

Analyse inductive