Definition of Fraxinetum