que sont devenus les 33 mineurs