Ajout des premières logiques