Eggs are hard boiled, peeled and cut lengthwise. Remove yolks and rubbing sore with a wooden spoon. Add mustard, mayonnaise, ketchup, salt and pepper. Mix well until a homogeneous mixture. Fill egg whites. Sprinkle with grated cheese. Decoration on each egg pipette ketchup.