Bonjour les jeunes

Un exo hyper difficile

Soit n un entier positif. Au plus combien de vecteurs unitaires distincts peuvent être sélectionnés dans Rn tel que de trois d’entre eux, au moins deux sont orthogonaux?