20230531 / sphinx volume (CRAL)

A hard drive is broken on sphinx volume. This volume will be down a few moments on intervention.