Vidéo #1 - Chapitre 1: formule close, problème indécidable, recherche exhaustive