Lucas Chopin def