Source: https://www.lalanguefrancaise.com/dictionnaire/definition/mille-marin