Le Coq Magique is a restaurant.