in the foundations of quantum mechanics, Bell nonlocal [@RevModPhys.86.419] correlations have also been brought to the spotlight. As proved by John Bell in 1964 [@PhysicsPhysiqueFizika.1.195], local measurements on distant entangled particles can generate correlations incompatible with any local realistic model, a result confirmed experimentally over and over [@hensen2015loophole; @PhysRevLett.115.250402; @PhysRevLett.115.250401] and of fundamental implication to our understanding of quantum theory. However, only more recently nonlocality has started to be seen as a resource. In a seminal paper [@PhysRevLett.67.661], Ekert showed that the violation of a Bell inequality can be employed in quantum cryptography. This result has been brought to its extreme with the emergence of the device-independent framework to quantum information where the success of protocols is achieved without the need of a precise description of the underlying physical apparatuses. Within this context, nonlocality is now seen as resource in a number of applications beyond cryptography such as entanglement [@PhysRevLett.111.030501] and randomness [@acin2016certified] certification, self-testing [@Mayers:2004:STQ:2011827.2011830] and communication complexity problems [@PhysRevLett.92.127901].

As it happens to entanglement, nonlocal correlations typically become more useful the stronger they get. For instance, the more the paradigmatic CHSH inequality [@PhysRevLett.23.880] is violated the better is the bound we can put in the amount of randomness 