Title: Introduction a l'informatique théorique