Tous les marins sont des chanteurs