Solved: I finally went for a fresh install and everything is now working fine (for almost 3 months now).
I am happy about this but I am not very happy about the month I have lost on this installation: Samsung claimed that their Data Migration software would allow me to mirror my current system...