Realizability algebras II : new models of ZF + DC (Logical Methods in Computer Science, 2012)