Initialisation

Au départ, on a besoin d'une base vide. Une base de connaissances vide est le couple $\left<\phi,\phi\right>$.