La plongée en grotte enseigne les leçons critiques des systèmes distribués