Trou du Diable

Thanks to all Phoide contributors to Trou du Diable!
Most notably Matteo Rinaldi.