un petit 10 et un gros 10, ça ne joue pas dans la même division.
Sans doute ceux observés séparément le 10/06 et le 11/06.