non justement, même apres arret du mini, le seul moyen c'est de brancher autre chose sur le display port, ou d'enlever une barette de RAM.
Mais j'avais pareil sur le mini 2010 lui aussi branché en HDMI avec 2 x 4Go de RAM.
Pour ma part en tout cas cela arrive unniquement quand il se met en...