Est-ce que le portique de Charassain fonctionne ?