\bigskip
\begin{quote}
   Copyright (C) 2016-2022, AdaCore and Thales

   Licensed under Creative Commons Attribution 4.0 International
\end{quote}

\includegraphics[width=4cm]{../../_static/licence-cc-by.png}
\bigskip
