Ceylan (jusqu'en 1948)