Revert "PLayer interface definitions"

This reverts commit b1d22441ef16654a849643b78180a5370a1f2c8d.
Revert "Player.mli : Définition des methodes d'interfaçage"

This reverts commit 9715a20c70b589ba01c64462223f5a002c3594af.