Intro: quickly define static

manuscrit/10_introduction/main.tex

@@ -104,7 +104,7 @@ analyzers' accuracy: a \emph{backend model}, a \emph{frontend model} and a
 \emph{dependencies model}. We propose contributions to strengthen them, as well
 as to automate the underlying models' synthesis.  We focus on \emph{static}
 code analyzers, that derive metrics, including runtime predictions, from an
-assembly code or assembled binary.
+assembly code or assembled binary without executing it.
 
 The \hyperref[chap:foundations]{first chapter} introduces the foundations
 of this manuscript, describing the microarchitectural notions on which our