Temps de cuisson du brocoli à l'eau

Combien de temps faut-il faire cuire le brocoli à l'eau pour qu'il soit parfaitement tendre ?