Which HTML editor is the best for the backend?

I used them a while back and remember them bloating the code quite a bit.

I'm looking for one that is basic, so that my users can do basic html.

CK vs Wyzz vs MCE ?

Thanks