It's a precise specification with a precise formal language that causes Mathematica to know what to do here.
Il s'agit d'une description précise d'un langage formel précis qui fait que Mathematica sait quoi faire ici.