Come da titolo: qual è il comando per estrarre un elemento casuale di un array?

Grazie