Revert "michel_test.txt"

This reverts commit c73da466e412cf3e908df4bdcbf9d83909ec0f8d.