c'est quoi une proposition universelle ? un truc qui commence par quel que soit ?