Here is the patch that solve this problem.
https://downloads.sourceforge.net/tinymce/tinymce_compressor_php_1_1_0.zip?modtime=1166714672&big_mirror=0
Just copy:
tiny_mce_gzip.php
tiny_mce_gzip.js
to your wp-includes/js/tinymce/ directory and overwrite old files
TinyMCE will be back ??
Enjoy !