I found more Mexican food (okay, TexMex) for sale at the Cora Supermarket in Sarreguemines, France. It was the Old El Paso brand, which is also available in the US.
The "gratinado" thing was interesting. It was almost like a Mexican-style lasagne bake. I love that it's marked "sans piment," without pepper. Maybe the French are like (many of) the Germans in that they don't like spicy food?