Lacan and Badiou: logic of the pas-tout