Mongo DB trouve tous les enregistrements avec la valeur la plus élevée en fonction d'un champ clé

C'est le cas, mais l'approche est légèrement différente :

db.myCol.aggregate([
    {$sort: {value:-1}},
    {$group:{
        _id: "$user",
        doc: {$first: "$$ROOT"}
    }},
    {$replaceRoot: {newRoot: "$doc"} }
])