Yes Mirek that seems to be the case in the ERC for some reason unknown to me Michelin won't nominate the lightest tire they have(Pirelli is ~2kg lighter I've heard) and already there is a big difference in performance.
Dimwii since you seem to know better than the teams actually using Pirelli I got this information from(indirectly) than by all means let them know they are wrong��