Le principe de récurrence