Objective extension of res judicata: limit against procedura