From 51e3a4a7f896e683a16748ca3a876336454e4871 Mon Sep 17 00:00:00 2001
From: Fabrice Mouhartem <fabrice.mouhartem@ens-lyon.org>
Date: Sat, 10 Feb 2018 17:29:01 +0100
Subject: [PATCH] + Figure fig-uc.tex

---
 fig-uc.tex | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 fig-uc.tex

diff --git a/fig-uc.tex b/fig-uc.tex
new file mode 100644
index 0000000..ec6c543
--- /dev/null
+++ b/fig-uc.tex
@@ -0,0 +1,32 @@
+\begin{tikzpicture}
+  \begin{scope}[local bounding box=B1, scale=1.1]
+    \node at (0, 2.5) {Real world};
+    \node[draw, minimum height=1.5cm, minimum width=.9cm, fill=red!20] at (-.9, 0) {$\widehat{\adv}$};
+    \node[draw, minimum height=1.5cm, minimum width=.9cm, fill=blue!30] at (.9, 0) {$\cdv$};
+    \draw[thick] (-1.5, -1) rectangle (1.5, 2);
+    \node at (0, 1.5) {$\mathcal E^{\textsf{real}}$};
+    \foreach \i in {0,1,2,3} {
+      \draw[->] (-.45, .6 - .4*\i) --(.45, .6 - .4*\i);
+    }
+    \foreach \i in {0,1,2} {
+      \draw[<-] (-.45, .4 - .4*\i) --(.45, .4 - .4*\i);
+    }
+  \end{scope}
+  \node at (2.5, .5) {\Large $\approx$};
+  \begin{scope}[local bounding box=B2, xshift=5cm, scale=1.1]
+    \node at (0, 2.5) {Ideal world};
+    \node[draw, minimum height=1.5cm, minimum width=.9cm, fill=pink!20] at (-.9, 0) {$\widehat{\adv}'$};
+    \node[draw, minimum height=1.5cm, minimum width=.9cm, fill=blue!30] at (.9, 0) {$\cdv'$};
+    \draw[thick] (-1.5, -1) rectangle (1.5, 2);
+    \node at (0, 1.5) {$\mathcal E^{\textsf{ideal}}$};
+    \node (F) at (0,0) {$F$};
+    \foreach \i in {0,1,2,3} {
+      \draw[->] (-.45, .6 - .4*\i) -- (F);
+      \draw[->] (F) --(.45, .6 - .4*\i);
+    }
+    \foreach \i in {0,1,2} {
+      \draw[<-] (-.45, .4 - .4*\i) -- (F);
+      \draw[<-] (F) -- (.45, .4 - .4*\i);
+    }
+  \end{scope}
+\end{tikzpicture}