`Arithmetic and functional transcendence around Schanuel's conjecture'