cours IBE proof