Non-existence d'un 3-design de parameters λ = 2, k = 5 et ν = 11

Pour qu'il existe un t-design S"@l(t, k, @n) il faut que @l"i = @l(^@n^ ^-^ ^i"t" "-" "i)(^k^ ^-^ ^i"t" "-" "i) soit entier pour tout i = 0, 1, ..., t. Nous montrons qu'il n'existe pas de S"2(3, 5, 11) bien que le quadruple (2, 3, 5, 11) verifie cette condition necessaire.