Thanks, it seems to be working.
So, for other users with this issue, you need to manually edit the function wp_edit_theme_plugin_file() in the file wp-admin/includes/file.php (line 352) in order to replace validate_file() by validate_file_to_edit() the four times it occurs.