Draft: Resolve "Nom Sens public"

Marcello Vitali-Rosati requested to merge 38-nom-sens-public into main

Closes #38 (closed)

Merge request reports