Arrêté de protection du biotope de l'Ortenberg : le GERRIS intervient en octobre (2013)