Picchio rosso minore (Dendrocopos minor)