(deffacts networkStructure ; Liens entre les elements du reseau et type d'elements
       (router routeur1)
       (router routeur2)
       (router switchInternet)
       (router Coeur3)
       (router switchDmz1)
       (router Equant)
       (router routeur3)
       (router routeur4)
       (router waeCarros)
       (router firewallMaster)
       (router firewallSlave)

       (link Internet routeur1)
       (link Internet routeur2)
       (link switchInternet routeur2)
       (link switchInternet routeur1)
       ;(link routeur1 routeur2)
       (link firewallMaster Coeur3)
       (link firewallSlave Coeur3)
       (link firewallMaster switchDmz1)
       (link firewallSlave switchDmz1)
       (link firewallMaster switchInternet)
       (link firewallSlave switchInternet)
       (link Equant Marseille)
       (link Equant Pessac)
       (link routeur3 Equant)
       (link Equant routeur4)
       (link Coeur3 waeCarros)
       (link Coeur3 waeCarros)
       (link waeCarros routeur3)
       (link waeCarros routeur4)
       (link waeManager Coeur3)
       (link esx1 Coeur1)
       (link esx1 Coeur2)
       (link esx2 Coeur1)
       (link esx2 Coeur2)
       (link esx3 Coeur1)
       (link esx3 Coeur2)
       (link esx1 switchDmz1)
       (link esx2 switchDmz1)
       (link esx3 switchDmz1)
       (link edi2 switchDmz1)
       (link ctrlwifiMaster Coeur1)
       (link ctrlwifiSlave Coeur2)
       (link srvbackup Coeur3)
       (link srvvc Coeur3)
       (link srvad Coeur3)
       (link Coeur1 Coeur2)
       (link Coeur1 Coeur3)
       (link Coeur2 Coeur3)
)