¿Cuánto cuesta el CERN?