[propositions+BPCE.bmp]