Delete AllegProposal.tex