X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/7b2f06062fc54db047de438cda35671608a1dc89..02fd942d6a30fe7197b732c94450ca466b7a49f5:/sdd.tex?ds=sidebyside

diff --git a/sdd.tex b/sdd.tex
index 83bee06..69e09b6 100644
--- a/sdd.tex
+++ b/sdd.tex
@@ -1,17 +1,7 @@
 
-\JFC{Chapeau chapitre Ã  faire}
 
 
 
-% Cette section Ã©nonce quelques notions suffisantes 
-% Ã  la comprÃ©hension de ce document.
-% Elle commence par formaliser ce que sont les systÃ¨mes dynamiques boolÃ©ens 
-% (section \ref{sub:sdd}) 
-% et montre comment en extraire leur graphe d'itÃ©rations (section~\ref{sub:grIter})
-% et d'interactions (section~\ref{sub:sdd:inter}). 
-% Elle se termine en dÃ©finissant une distance sur l'espace 
-% $\llbracket 1;n\rrbracket^{\Nats}\times \Bool^n$ (section~\ref{sub:metric}).
-
 
 
 
@@ -332,7 +322,7 @@ les uns par rapport aux autres. Cette matrice est nommÃ©e
 
 \begin{theorem}
 Si $f_i$ ne dÃ©pend pas de $x_j$, alors pour tout $x\in [{\mathsf{N}}]$, 
-$f_i(\overline{x}^j)$ est Ã©gal Ã   $f_i(x)$, \textit{i.e}, 
+$f_i(\overline{x}^j)$ est Ã©gal Ã   $f_i(x)$, \textit{i.e.}, 
 $f'_{ij}(x)=0$. Ainsi $B(f)_{ij}$ est nulle. La rÃ©ciproque est aussi vraie.
 \end{theorem} 
 
