This is the informatic version of G. Vezzosi's project.