On en déduit que $ H[J](x,y,z) $ est inversible et que $ H[J](x,y,z)^{-1} = \frac{1}{2}Id_{\mathbb{R}^3} $.
\hrulefill
+\newpage
+
+\subsection{Trace d'éxécution de PQS avec contrainte}
+%\includegraphics[scale=0.2]{figure_sphere_avec_contrainte.png}\\
+\begin{center}
+\includegraphics[scale=0.2]{sphere2.jpg}\\
-\subsection{Trace d'éxécution de PQS}
+\footnotesize{
+ \small \it Fig : Exemple de la sphère\\
+ \vspace*{0.5cm}
+}
+\end{center}
Utilisons le problème $ \mathcal{P} $ précédent :