Notions fondamentaux sur la récurisivité