230719 Allas les mines