Séance RD01 : Représentation des entiers naturels