_:nc2f2e4a36f0b4baf986b0b7934a3e8dexb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/BreadcrumbList>
<https://gitlab.inria.fr/why3/why3/-/tree/3cb0ff15e5344e93123cdbc1eed52516100a4c1c>