The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. We prove a Koszul duality theory for props generalizing the one for associative algebras and for operads. We will show the applications of such this theory (P-bialgebras up to homotopy, deformations of P-bialgebras).