Categories in CNRS IN2P3