La quantité de (par exemple) 3 dans la liste x, c'est la somme de when(x[i]=3,1,0) pour i allant de 1 à dim(x).