— ben 7 Oktober — läste man i Journal officiel en afsamtliga