From d5327265c7842f2eee58ec16ca12bf61db8b2cca Mon Sep 17 00:00:00 2001
From: John Charron <rm_rf_windows@yahoo.fr>
Date: Tue, 30 Nov 2010 04:14:30 +0100
Subject: [PATCH] Je fais un commit suite a un message qui m'empeche de faire
 un pull

---
 rapport.tex | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/rapport.tex b/rapport.tex
index 448d206..f2a6808 100644
--- a/rapport.tex
+++ b/rapport.tex
@@ -461,9 +461,16 @@ Clause insatisfiable : $(x_{1} \vee x_{1}) \wedge (\neg x_{1} \vee \neg x_{1})$
 
 \begin{figure}[h!]
   \centering
-  \begin{tikzpicture}[node distance=1.5cm]
-    \node (nx1) {$\lnot x_1$} ;
-    \node[below of=nx1] (x1) {$x_1$} ;
+  \begin{tikzpicture}[
+      node distance=2.5cm,
+      lettre/.style={
+        draw,
+        circle,
+        minimum size=1cm
+      }
+    ]
+    \node[lettre] (nx1) {$\lnot x_1$} ;
+    \node[lettre, below of=nx1] (x1) {$x_1$} ;
     \node[coordinate,xshift=0.1cm] (x1r) at (x1.north) {};
     \node[coordinate,xshift=-0.1cm] (x1l) at (x1.north) {};
     \node[coordinate,xshift=0.1cm] (nx1r) at (nx1.south) {};