Mais où est donc passée la 7e compagnie ?