Spleniusul este separat de tectul mezencefalic prin: