\usepackage{graphicx}
\usepackage{url}
\usepackage{xspace}
\usepackage{amsmath,amssymb}
\usepackage{subfigure}
\usepackage[normalem]{ulem}
\usepackage[usenames,dvipsnames]{xcolor}

\usepackage{tikz}
\usepackage{pgfplots,pgfplotstable}
\tikzstyle{every picture}+=[remember picture]
\usetikzlibrary{patterns,positioning,fit}
\pgfplotsset{compat=1.11}



\def\craqpot{\textsc{Craqpot}\xspace}
\def\cookiis{\textsc{CookIIS}\xspace}

\def\SUBST#1#2{#1\mathrel{\rightsquigarrow}#2}

\def\fm#1{\ensuremath{\text{\texttt{#1}}}\xspace}
\def\ConnDom{\fm{DK}}
\def\Source{\fm{Source}}
\def\Cible{\fm{Target}}
\def\KnowledgeSource{\fm{KnowledgeSource}}
\def\CasAdapte{\fm{AdaptedCase}}