1 ressource en auto-formation : logique intuitionniste