Field_theory: nicer notations for constants 0 1 ...