Journal officiel des 24 avril, 22 mai, 12 août, 7-8 septembre 20 septembre, 31 octobre, 18 décembre 1942, 14 avril 1943, 7 janvier 1944