Devitalization of a baby tooth