“ Lanterne * *,