A model of financial markets with default and the role of "ex-ante" redundant assets