Rename Arena -> Arenas

petit oubli lors de mon précédent commit