propositions* ouvert*